Nuprl Definition : eclthrow?
11,40
postcript
pdf
eclthrow?(
x
)
== ecl_ind(
x
;
k
,
test
.ff;
a
,
b
,
rec1
,
rec2
.ff;
a
,
b
,
rec1
,
rec2
.ff;
a
,
b
,
rec1
,
rec2
.ff;
a
,
rec1
.ff;
a
,
n
,
rec1
.ff;
a
,
n
,
rec1
.tt;
a
,
l
,
rec1
.ff)
latex
Definitions
ecl
ind
,
tt
,
ff
FDL editor aliases
eclthrow?
origin